- 2 402 202 книги
- без регистрации
- бесплатно
#3
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper
3.80 Mb
#5
Collected Works: Volume III: Unpublished essays and lectures (Collected Works of Kurt Godel)
Kurt Gödel
49.54 Mb
#6
Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)
Solomon Feferman, Charles Parsons, Stephen G. Simpson (eds)
1.96 Mb
#8
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis With the Axioms of Set Theory
Kurt GödelКатегория: Математика, Анализ
830 Kb
#10
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
13.27 Mb
#11
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
Kurt Gödel, S. Feferman (Editor-in-Chief), John W. Dawson Jr., Warren Goldfarb, Charles Parsons, R. Solovay
4.74 Mb
#12
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)
Petr Hajek
31.81 Mb
#14
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
657 Kb
#15
Collected works. Publications 1929-1936
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van HeijenoortКатегория: Mathematical logic
4.26 Mb
#16
Collected works. Publications 1938-1974
Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van HeijenoortКатегория: Mathematical logic
3.42 Mb
#17
Collected Works: Volume I: Publications 1929-1936
Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van HeijenoortКатегория: Математика
26.18 Mb
#18
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
3.98 Mb
#19
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt GödelКатегория: science_books, math
476 Kb
